Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
891	FormHeriot-Watt University - Course Descriptor Template (RAY) Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2014-04-03 08:38:48 Science Formal methods Software development process Diagrams Knowledge representation Unified Modeling Language Software development methodology Software engineer Object-oriented programming Software development Software engineering Software
892	Quantitative Penetration Testing with Item Response Theory Florian Arnold, Wolter Pieters t and Marielle Stoelinga Formal Methods & Tools Group, Department of Computer Science University of Twente, Enschede, T he Neth Add to Reading List Source URL: eprints.eemcs.utwente.nl Language: English* - Date: 2014-11-14 05:24:58 Statistics Software testing Psychometrics Hacking Penetration test Vulnerability Social engineering Attack Statistical hypothesis testing Computer network security Cyberwarfare Computer security
893	DOC Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-02-03 05:49:55 Logic in computer science Computer science Automated theorem proving Acorn Computers Formal verification Model checking Automated reasoning ARM architecture CPU design Formal methods Applied mathematics Theoretical computer science
894	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
895	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Extended Abstract)? Jasmin Christian Blanchette and Tobias Nipkow Fakult¨at f¨ur Informatik, T. U. M¨unchen, Garching, Ger Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Programming paradigms Formal methods Mathematical proofs Lambda calculus Function Well-formed formula Constructible universe Logic programming Relational model Mathematics Logic Mathematical logic
896	PART 2: Proposed Research and Yu formally described a substantial subset of the Motorola MC68020 processor in the logic of the Boyer-Moore prover and used the resulting model to verify compiler generated object code for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-02 11:31:35 Mathematical software Formal verification KeY ARM architecture Model checking Computer security ACL2 Software development process Logic simulation Electronic engineering Theoretical computer science Formal methods
897	AN ECLECTIC COMPREHENSIVE APPROACH TO THE V&V OF SOFTWARE MODULES Ali Mili, NJIT NII, Tokyo, Japan January 13, 2012 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Computing Technology Modularity Product management Programming language Object-oriented programming Software design Specification Formal specification Holism Programming paradigms Formal methods
898	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2011-09-06 10:36:13 Logic in computer science Formal methods Automated theorem proving Isabelle Proof assistant Vampire Curry ACL2 HOL Theoretical computer science Mathematics Applied mathematics
899	Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers Lawrence C. Paulson Computer Laboratory University of Cambridge, U.K. Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-12-06 04:58:13 Logic in computer science Automated theorem proving Formal methods Isabelle Proof assistant Automated reasoning Logic for Computable Functions E theorem prover Mathematical proof Theoretical computer science Applied mathematics Mathematics

UPDATE